Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
Abstract We introduce a new probabilistic model of the primes consisting of integers that survive the sieving process when a random residue class is selected for every prime modulus below a specific bound. From a rigorous analysis of this model, we obtain heuristic upper and lower bounds for the size of the largest prime gap in the interval $[1,x]$ [ 1 , x ] . Our results are stated in terms of the extremal bounds in the interval sieve problem. The same methods also allow us to rigorously relate the validity of the Hardy-Littlewood conjectures for an arbitrary set (such as the actual primes) to lower bounds for the largest gaps within that set.more » « lessFree, publicly-accessible full text available September 1, 2024
-
Abstract A well-known open problem of Meir and Moser asks if the squares of sidelength 1/
n for can be packed perfectly into a rectangle of area$$n\ge 2$$ . In this paper we show that for any$$\sum _{n=2}^\infty n^{-2}=\pi ^2/6-1$$ , and any$$1/2 that is sufficiently large depending on$$n_0$$ t , the squares of sidelength for$$n^{-t}$$ can be packed perfectly into a square of area$$n\ge n_0$$ . This was previously known (if one packs a rectangle instead of a square) for$$\sum _{n=n_0}^\infty n^{-2t}$$ (in which case one can take$$1/2 ).$$n_0=1$$ -
Abstract Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a “dilation lemma” that asserts, roughly speaking, that $F \odot A = X$ implies $F^{r} \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are “factors of iid”, and show that measurable tilings of a torus ${\mathbb{T}}^{d}$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case).more » « less
-
Abstract We construct an example of a group
for a finite abelian group$$G = \mathbb {Z}^2 \times G_0$$ , a subset$$G_0$$ E of , and two finite subsets$$G_0$$ of$$F_1,F_2$$ G , such that it is undecidable in ZFC whether can be tiled by translations of$$\mathbb {Z}^2\times E$$ . In particular, this implies that this tiling problem is$$F_1,F_2$$ aperiodic , in the sense that (in the standard universe of ZFC) there exist translational tilings ofE by the tiles , but no periodic tilings. Previously, such aperiodic or undecidable translational tilings were only constructed for sets of eleven or more tiles (mostly in$$F_1,F_2$$ ). A similar construction also applies for$$\mathbb {Z}^2$$ for sufficiently large$$G=\mathbb {Z}^d$$ d . If one allows the group to be non-abelian, a variant of the construction produces an undecidable translational tiling with only one tile$$G_0$$ F . The argument proceeds by first observing that a single tiling equation is able to encode an arbitrary system of tiling equations, which in turn can encode an arbitrary system of certain functional equations once one has two or more tiles. In particular, one can use two tiles to encode tiling problems for an arbitrary number of tiles. -
Abstract Singmaster’s conjecture asserts that every natural number greater than one occurs at most a bounded number of times in Pascal’s triangle; that is, for any natural number $t \geq 2$, the number of solutions to the equation $\binom{n}{m} = t$ for natural numbers $1 \leq m \lt n$ is bounded. In this paper we establish this result in the interior region $\exp(\log^{2/3+\varepsilon} n) \leq m \leq n - \exp(\log^{2/3+\varepsilon} n)$ for any fixed ɛ > 0. Indeed, when t is sufficiently large depending on ɛ, we show that there are at most four solutions (or at most two in either half of Pascal’s triangle) in this region. We also establish analogous results for the equation $(n)_m = t$, where $(n)_m := n(n-1) \dots (n-m+1)$ denotes the falling factorial.